Safra, Shmuel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Extractors from Reed–Muller codes

Amnon Ta-Shma, David Zuckerman, Shmuel Safra

Journal:

Journal of Computer and System Sciences

Year:

2006

Language:

english

File:

PDF, 276 KB

english, 2006

2

On the complexity of price equilibria

Xiaotie Deng, Christos Papadimitriou, Shmuel Safra

Journal:

Journal of Computer and System Sciences

Year:

2003

Language:

english

File:

PDF, 191 KB

english, 2003

3

Relating word and tree automata

Orna Kupferman, Shmuel Safra, Moshe Y. Vardi

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 301 KB

english, 2006

4

Probabilistic checking of proofs: a new characterization of NP

Arora, Sanjeev, Safra, Shmuel

Journal:

Journal of the ACM

Year:

1998

Language:

english

File:

PDF, 347 KB

english, 1998

5

[ACM Press the thiry-fourth annual ACM symposium - Montreal, Quebec, Canada (2002.05.19-2002.05.21)] Proceedings of the thiry-fourth annual ACM symposium on Theory of computing - STOC '02 - The importance of being biased

Dinur, Irit, Safra, Shmuel

Year:

2002

Language:

english

File:

PDF, 310 KB

english, 2002

6

On Data Structures and Asymmetric Communication Complexity

Peter Bro Miltersen, Noam Nisan, Shmuel Safra, Avi Wigderson

Journal:

Journal of Computer and System Sciences

Year:

1998

Language:

english

File:

PDF, 424 KB

english, 1998

7

Notes on the complexity of systolic programs

Stephen Taylor, Lisa Hellerstein, Shmuel Safra, Ehud Shapiro

Journal:

Journal of Parallel and Distributed Computing

Year:

1987

Language:

english

File:

PDF, 894 KB

english, 1987

8

On the hardness of approximating label-cover

Irit Dinur, Shmuel Safra

Journal:

Information Processing Letters

Year:

2004

Language:

english

File:

PDF, 205 KB

english, 2004

9

The Erdős–Hajnal conjecture for bull-free graphs

Maria Chudnovsky, Shmuel Safra

Journal:

Journal of Combinatorial Theory, Series B

Year:

2008

Language:

english

File:

PDF, 132 KB

english, 2008

10

A parallel implementation of Flat Concurrent Prolog

Stephen Taylor, Shmuel Safra, Ehud Shapiro

Journal:

International Journal of Parallel Programming

Year:

1986

Language:

english

File:

PDF, 1.41 MB

english, 1986

11

On the complexity of approximating tsp with neighborhoods and related problems

Shmuel Safra, Oded Schwartz

Journal:

Computational Complexity

Year:

2006

Language:

english

File:

PDF, 1.21 MB

english, 2006

12

On the complexity of approximatingk-set packing

Elad Hazan, Shmuel Safra, Oded Schwartz

Journal:

Computational Complexity

Year:

2006

Language:

english

File:

PDF, 213 KB

english, 2006

13

PCP Characterizations of NP: Toward a Polynomially-Small Error-Probability

Irit Dinur, Eldar Fischer, Guy Kindler, Ran Raz, Shmuel Safra

Journal:

Computational Complexity

Year:

2011

Language:

english

File:

PDF, 715 KB

english, 2011

14

On the Hardness of Approximating the Chromatic Number

Sanjeev Khanna, Nathan Linial, Shmuel Safra

Journal:

Year:

2000

Language:

english

File:

PDF, 311 KB

english, 2000

15

Growth modulation of transgenic potato plants by heterologous expression of bacterial carbohydrate-binding module

Liat Safra-Dassa, Ziv Shani, Ahihud Danin, Levava Roiz, Oded Shoseyov, Shmuel Wolf

Journal:

Molecular Breeding

Year:

2006

Language:

english

File:

PDF, 347 KB

english, 2006

16

A well-characterized approximation problem

Johan Håstad, Steven Philips, Shmuel Safra

Journal:

Information Processing Letters

Year:

1993

Language:

english

File:

PDF, 459 KB

english, 1993

17

Testing juntas

Eldar Fischer, Guy Kindler, Dana Ron, Shmuel Safra, Alex Samorodnitsky

Journal:

Journal of Computer and System Sciences

Year:

2004

Language:

english

File:

PDF, 432 KB

english, 2004

18

Multiway merge with constant delay in Concurrent Prolog

Ehud Shapiro, Shmuel Safra

Journal:

New Generation Computing

Year:

1986

Language:

english

File:

PDF, 276 KB

english, 1986

19

A Combinatorial Consistency Lemma with Application to Proving the PCP Theorem

Goldreich, Oded, Safra, Shmuel

Journal:

SIAM Journal on Computing

Year:

2000

Language:

english

File:

PDF, 453 KB

english, 2000

20

Exponential Determinization for ω‐Automata with a Strong Fairness Acceptance Condition

Journal:

SIAM Journal on Computing

Year:

2006

Language:

english

File:

PDF, 166 KB

english, 2006

21

[ACM Press the twenty-ninth annual ACM symposium - El Paso, Texas, United States (1997.05.04-1997.05.06)] Proceedings of the twenty-ninth annual ACM symposium on Theory of computing - STOC '97 - A sub-constant error-probability low-degree test, and a sub-constant error-probability PCP characterization of NP

Raz, Ran, Safra, Shmuel

Year:

1997

Language:

english

File:

PDF, 1.38 MB

english, 1997

22

Interactive proofs and the hardness of approximating cliques

Feige, Uriel, Goldwasser, Shafi, Lovász, Laszlo, Safra, Shmuel, Szegedy, Mario

Journal:

Journal of the ACM

Year:

1996

Language:

english

File:

PDF, 2.09 MB

english, 1996

23

Algorithmic construction of sets for k -restrictions

Alon, Noga, Moshkovitz, Dana, Safra, Shmuel

Journal:

ACM Transactions on Algorithms

Year:

2006

Language:

english

File:

PDF, 210 KB

english, 2006

24

[ACM Press the twenty-fourth annual ACM symposium - Victoria, British Columbia, Canada (1992.05.04-1992.05.06)] Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC '92 - Exponential determinization for ω-automata with strong-fairness acceptance condition (extended abstract)

Year:

1992

Language:

english

File:

PDF, 826 KB

english, 1992

25

[ACM Press the thirty-first annual ACM symposium - Atlanta, Georgia, United States (1999.05.01-1999.05.04)] Proceedings of the thirty-first annual ACM symposium on Theory of computing - STOC '99 - PCP characterizations of NP

Dinur, Irit, Fischer, Eldar, Kindler, Guy, Raz, Ran, Safra, Shmuel

Year:

1999

Language:

english

File:

PDF, 930 KB

english, 1999

26

[ACM Press the thiry-fourth annual ACM symposium - Montreal, Quebec, Canada (2002.05.19-2002.05.21)] Proceedings of the thiry-fourth annual ACM symposium on Theory of computing - STOC '02 - On the complexity of equilibria

Deng, Xiaotie, Papadimitriou, Christos, Safra, Shmuel

Year:

2002

Language:

english

File:

PDF, 149 KB

english, 2002

27

[ACM Press the twenty-seventh annual ACM symposium - Las Vegas, Nevada, United States (1995.05.29-1995.06.01)] Proceedings of the twenty-seventh annual ACM symposium on Theory of computing - STOC '95 - On data structures and asymmetric communication complexity

Miltersen, Peter Bro, Nisan, Noam, Safra, Shmuel, Wigderson, Avi

Year:

1995

Language:

english

File:

PDF, 916 KB

english, 1995

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски